A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
نویسندگان
چکیده
The theoretical background and the implementation of a new interval arithmetic approach for solving sets of differentialalgebraic equations (DAEs) are presented. The proposed approach computes guaranteed enclosures of all reachable states of dynamical systems described by sets of DAEs with uncertainties in both initial conditions and system parameters. The algorithm is based on VALENCIA-IVP,which has been developed recently for the computation of verified enclosures of the solution sets of initial value problems for ordinary differential equations. For the application to DAEs, VALENCIA-IVP has been extended by an interval Newton technique to solve nonlinear algebraic equations in a guaranteed way. In addition to verified simulation of initial value problems for DAE systems, the developed approach is applicable to the verified solution of the so-called inverse control problems. In this case, guaranteed enclosures for valid input signals of dynamical systems are determined such that their corresponding outputs are consistent with prescribed time-dependent functions. Simulation results demonstrating the potential of VALENCIA-IVP for solving DAEs in technical applications conclude this paper. The selected application scenarios point out relations to other existing verified simulation techniques for dynamical systems as well as directions for future research.
منابع مشابه
Verified Simulation of ODEs and DAEs in ValEncIA-IVP
ValEncIA-IVP is a verified solver for initial value problems for sets of ordinary differential equations which determines guaranteed enclosures of all reachable states. In this paper, we present its new features which allow for a wider application domain. They also improve the performance of ValEncIA-IVP. Especially for the simulation of asymptotically stable systems, we present a new exponenti...
متن کاملExponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP
Verified integration of initial value problems for sets of ordinary differential equations can be performed by numerous approaches. The most important ones are based on either interval or Taylor model arithmetic and enclose with certainty the sets of reachable states at a given point of time. Commonly, such tools are based on a Taylor series expansion of the solution of differential equations i...
متن کاملJacobi Operational Matrix Approach for Solving Systems of Linear and Nonlinear Integro-Differential Equations
This paper aims to construct a general formulation for the shifted Jacobi operational matrices of integration and product. The main aim is to generalize the Jacobi integral and product operational matrices to the solving system of Fredholm and Volterra integro--differential equations which appear in various fields of science such as physics and engineering. The Operational matr...
متن کاملA Method for Solving Convex Quadratic Programming Problems Based on Differential-algebraic equations
In this paper, a new model based on differential-algebraic equations(DAEs) for solving convex quadratic programming(CQP) problems is proposed. It is proved that the new approach is guaranteed to generate optimal solutions for this class of optimization problems. This paper also shows that the conventional interior point methods for solving (CQP) problems can be viewed as a special case of the n...
متن کاملOperational matrices with respect to Hermite polynomials and their applications in solving linear differential equations with variable coefficients
In this paper, a new and efficient approach is applied for numerical approximation of the linear differential equations with variable coeffcients based on operational matrices with respect to Hermite polynomials. Explicit formulae which express the Hermite expansion coeffcients for the moments of derivatives of any differentiable function in terms of the original expansion coefficients of the f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Mathematics and Computer Science
دوره 19 شماره
صفحات -
تاریخ انتشار 2009